すうがくてきろんりがく

すうがくてきろんりがく【数学的論理学】

記号論理学のこと。 数学的推論（証明）の構造を形式化したものであることからの名。 数理論理学。

→ 記号論理学